Skolem standard form
英
美
【计】斯柯伦范式
双语例句
- As two examples, we present the Skolem standard form theorem and the Herbrand theorem of ME.
作为两个实例，本文给出了ME~上的Skolem范式定理及Herbrand定理。 - Since this kind of describing forms of decision can be easily transformed into the Skolem's standard form, they can be applied directly to resolution inference in artificial intelligence field.
这种决策描述形式易于转化为Skolem标准型，可以直接应用于人工智能的归结推理。